Pure tetrahedral quadruple systems with index two

An oriented tetrahedron defined on four vertices is a set of four cyclic triples with the property that any ordered pair of vertices is contained in exactly one of the cyclic triples. A tetrahedral quadruple system of order $n$ with index $\lambda$, denoted by ${\text{TQS}}_{\lambda }\left(n\right)$, is a pair $\left(X,\mathrm{?}\right)$, where $X$ is an $n$‐set and $\mathrm{?}$ is a set of oriented tetrahedra (blocks) such that every cyclic triple on $X$ is contained in exactly $\lambda$ members of $\mathrm{?}$. A ${\text{TQS}}_{\lambda }\left(n\right)$ is pure if there do not exist two blocks with the same vertex set. When $\lambda =1$, the spectrum of a pure TQS $\left(n\right)$ has been completely determined by Ji. In this paper, we show that there exists a pure ${\text{TQS}}_2\left(n\right)$ if and only if $n\equiv 1,2\left(\mathrm{mod}3\right)$ and $n\ge 7$. A corollary is that a simple ${\text{QS}}_4\left(n\right)$ also exists if and only if $n\equiv 1,2\left(\mathrm{mod}3\right)$ and $n\ge 7$.     

Horizontal convection in a rectangular enclosure driven by a linear temperature profile

The horizontal convection in a square enclosure driven by a linear temperature profile along the bottom boundary is investigated numerically by using a finite difference method. The Prandtl number is fixed at 4.38, and the Rayleigh number Ra ranges from107 to 1011. The convective flow is steady at a relatively low Rayleigh number, and no thermal plume is observed, whereas it transits to be unsteady when the Rayleigh number increases beyond the critical value. The scaling law for the Nusselt number Nu changes from Rossby's scaling Nu ～ Ra~(1/5) in a steady regime to Nu ～ Ra~(1/4) in an unsteady regime, which agrees well with the theoretically predicted results. Accordingly,the Reynolds number Re scaling varies from Re ～ Ra~(3/11) to Re ～ Ra~(2/5). The investigation on the mean flows shows that the thermal and kinetic boundary layer thickness and the mean temperature in the bulk zone decrease with the increasing Ra. The intensity of fluctuating velocity increases with the increasing Ra.     

Adaptive finite-time prescribed performance control for stochastic nonlinear systems with unknown virtual control coefficients

Nonlinear Dynamics - This paper is devoted to the adaptive finite-time prescribed performance control (FTPPC) for stochastic nonlinear systems with unknown virtual control coefficients (UVCCs),...     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

线上线下混合式实验教学模式的改革与探索

大学化学实验课程是培养材料、化学、化工等专业人才应用基本操作和理论解决实际问题的综合性实践训练环节。文章探讨了当前大学化学实验发展由于受到仪器设备大型化、专业化、成本大、更新快等因素限制出现瓶颈,设计了线上线下混合实验教学模式,进行相应的软硬件建设,并开展线上线下混合式实验教学模式的改革与探索。该教学模式具有良好的教学效果,并且可复制可推广,为创新人才的培养和实验教学的创新提供了有益的借鉴。     

基于相同参数抛物镜面旋转阵列的太阳能槽式聚光器聚焦特性研究

针对吉林一号某轻型空间遥感相机的任务需求，以碳纤维复合材料的薄壁筒与桁架杆一体式成型为设计思路，基于拓扑优化、尺寸优化以及铺层优化设计了一种高稳定性的次镜支撑结构。工程分析和实验结果表明一体式碳纤维次镜支撑结构具有较好的结构稳定性，整体质量仅为1.3 kg,其在轨成像质量良好，这进一步验证了一体式碳纤维次镜支撑结构的可靠性和设计方法的正确性。     

Synthesis of yolk-shell Bi2O3@TiO2 submicrospheres with enhanced potassium storage

Science China Chemistry - Due to their enormous potential for large-scale energy storage, rechargeable potassium-ion batteries have been widely researched and developed. However, the drastic volume...     

加强型Bi-2212超导股线有限元拉伸性能分析

为探究加强型Bi-2212超导股线的力学性能以及不锈钢包带对超导股线力学性能的影响，运用Ansys软件建立加强型Bi-2212超导股线的三维模型，采用有限元分析方法，对其机械结构进行仿真，模拟高温高压热处理后轴向受拉形变量和应力应变分布情况。仿真结果显示，在同样施加100 N拉力的情况下，与超导原线（Bi-2212超导线）相比，密绕Ni₈₀Cr₂₀包带后的加强型Bi-2212超导股线轴向受拉形变程度减小，约10%;应力应变均降低，约30%。采用Ni₈₀Cr₂₀作为外包带制成的加强型Bi-2212超导股线力学性能显著，是未来超导线发展方向之一。     

9-(4-溴丁基)-9H-咔唑的相转移催化合成、表征及室温磷光性能研究——推荐一个大学化学综合实验

推荐了一个大学化学综合实验"9-(4-溴丁基)-9H-咔唑的相转移催化合成、表征及室温磷光性能研究"。实验利用相转移催化合成9-(4-溴丁基)-9H-咔唑分子,采用核磁共振、高分辨质谱和红外光谱对其分子结构进行表征,并利用紫外-可见吸收光谱、稳态/瞬态荧光光谱和密度泛函(DFT)理论计算对其室温磷光性能进行研究。本综合实验涵盖了有机化学、分析化学、物理化学、仪器分析以及理论化学的知识点,建议纳入化学专业高年级综合实验课程。     

Asymptotic Behavior of Least Energy Solutions for a Fractional Laplacian Eigenvalue Problem on ℝN

Acta Mathematica Sinica, English Series - We are interested in the existence and asymptotic behavior for the least energy solutions of the following fractional eigenvalue problem $$\left({\rm{P}}...